Upload Login /

DISCOVER. SHARE. PRESENT

Share what you know and love through presentations, infographics, documents and more

教科目名 数理論理学 (Mathematical Logic)

John Philoponus and the conformity of mathematical proofs to Aristotelian demonstrations Orna Harari

Overlooking mathematical justifications in the Sanskrit tradition the nuanced case of G F W Thibaut

Generalizing about polygonal numbers in ancient Greek mathematics Ian Mueller

科 目 名 学 年 期別・授業時間・単位数 情報数学 Logical mathematics 2

Kinokuniya No. 552-F - KINOKUNIYA BookWeb Pro

PDFファイル

定理証明支援系Coqによる形式検証

外国雑誌編

学校要覧 - 茨城工業高等専門学校
Fly UP